1. Symbolic computation and automated reasoning : the CALCULEMUS-2000 Symposium
Author: edited by Manfred Kerber and Michael Kohlhase
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Data processing -- Congresses ، Algebra,Congresses ، Automatic theorem proving
Classification :
QA
155
.
7
.
E4C23
2000
